Generalizing the higher-order frame and anti-frame rules
نویسنده
چکیده
This informal note presents generalized versions of the higherorder frame and anti-frame rules. The main insights reside in two successive generalizations of the “tensor” operator ⊗. In the first step, a form of “local invariant”, which allows implicit reasoning about “well-bracketed state changes”, is introduced. In the second step, a form of “local monotonicity” is added.
منابع مشابه
NONLINEAR FRAME ANALYSIS BY MINIMIZATION TECHNIQUE
By minimizing the total potential energy function and deploying the virtual work principle, a higher-order stiffness matrix is achieved. This new tangent stiffness matrix is used to solve the frame with geometric nonlinear behavior. Since authors’ formulation takes into account the higher-order terms of the strain vector, the convergence speed of the solution process will increase. In fac...
متن کاملSeismic evaluation of reinforced concrete moment frames retrofitted with steel braces using IDA and Pushover methods in the near-fault field
One of the methods for retrofitting reinforced concrete moment frames is the use of steel braces. In this research, the seismic performance of a double-skinned concrete framing system reinforced with two concentric (CBF) and eccentric (EBF) steel bracing, was investigated under seven near-fault earthquake records of varying intensity. For this purpose, two ten-story concrete frames with five sp...
متن کاملA step-indexed Kripke model of hidden state
Frame and anti-frame rules have been proposed as proof rules for modular reasoning about programs. Frame rules allow one to hide irrelevant parts of the state during verification, whereas the anti-frame rule allows one to hide local state from the context. We discuss the semantic foundations of frame and anti-frame rules, and present the first sound model for Charguéraud and Pottier’s type and ...
متن کاملStatic and dynamic nonlinear analysis of steel frame with semi-rigid connections
One of the important issues in the study of steel frames is to find a suitable formulation for semi-rigid connections. In this paper, the explicit stiffness matrix for a two-dimensional beam-column element having end-flexibilities is derived. The effects of the lateral uniformly distributed load on the deflection are considered. Both tensile and compressive axial loads are also taken into accou...
متن کاملEarth’s Magnetic Field for Spacecraft Attitude Control Applications (TECHNICAL NOTE)
In this paper the earth’s magnetic field is simulated precisely while the intensity and direction of the field are verified with one of the standard references for selected points on the earth and the results are compared with some low-order models. In another simulation, the complete model is compared with a common approximate model. The magnetic field in orbital frame is described and to empl...
متن کامل